Graph-based System Connguration ?

We present an optimization problem that arises in the context of system-design and the reenement of high-level speciications. We present a graph-based formalization of the problem, thus deening a new optimization problem, which we call Minimum Configuration. We prove Minimum Configuration to be NP-hard and also hard to approximate , i.e. not to be in APX. These results are obtained by reduction from graph coloring and Shortest Path with Forbidden Pairs. We show how to apply the introduced concepts to the application domain and propose a way to identify subclasses in the input space, for which Minimum Configuration can be solved eeciently.